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/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM	e3892e1941a878802a8ccbbd36201a02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-27
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27842
Number of constraints which are clauses	27842
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 24747

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 11:16:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2890 boxname=wulflinc31 idbench=322 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-4.opb
IDLAUNCH: 2890
/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:        889936 kB
Buffers:         33416 kB
Cached:          89904 kB
SwapCached:       1936 kB
Active:          86120 kB
Inactive:        40384 kB
HighTotal:      131008 kB
HighFree:        40264 kB
LowTotal:       903652 kB
LowFree:        849672 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             680 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12688 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 11:36:34 (client local time) WITH STATUS 10 IN 1176.11 SECONDS
stats: 2890 0 1176.11 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27842 constraints.
c After prepocess the problem consists of 595 variables and 20826 constraints.
c preprocess terminated 170.176 s
c Initial Lower Bound: -64
c Lower Bound Elapsed time: 569.493
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 740.054
c NEW SOLUTION FOUND: -2 @ 740.061
c NEW SOLUTION FOUND: -3 @ 740.089
c NEW SOLUTION FOUND: -4 @ 740.101
c NEW SOLUTION FOUND: -5 @ 740.115
c NEW SOLUTION FOUND: -6 @ 740.205
c NEW SOLUTION FOUND: -7 @ 740.325
c NEW SOLUTION FOUND: -8 @ 740.354
c NEW SOLUTION FOUND: -9 @ 740.451
c NEW SOLUTION FOUND: -10 @ 740.55
c NEW SOLUTION FOUND: -11 @ 741.057
c NEW SOLUTION FOUND: -12 @ 741.873
c NEW SOLUTION FOUND: -13 @ 742.581
c NEW SOLUTION FOUND: -14 @ 744.622
c NEW SOLUTION FOUND: -15 @ 745.41
c NEW SOLUTION FOUND: -16 @ 751.472
c NEW SOLUTION FOUND: -17 @ 757.757
c NEW SOLUTION FOUND: -18 @ 776.261
c NEW SOLUTION FOUND: -19 @ 829.223
c NEW SOLUTION FOUND: -20 @ 862.948
s SATISFIABLE
v -C595 -C594 C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -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.06 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.92 0.98 0.99 2/55 8769
Raw data (stat): 8769 (runsolver) R 8768 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 726099062 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+9.99995 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10106 0 0 0 970 25 0 0 25 0 1 0 726099062 43081728 9686 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9686 1111 63 0 10455 0
vsize: 42072
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 1969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 2969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 3969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 4969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 5969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220200 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 6969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 7969 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 8970 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 9970 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 10970 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 11970 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 12970 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220448 134627353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 13971 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 14971 26 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10386 0 0 0 15971 27 0 0 25 0 1 0 726099062 44163072 9945 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10387 0 0 0 16971 27 0 0 25 0 1 0 726099062 44163072 9946 4294967295 134512640 134714508 3221221792 3221220672 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9946 1111 63 0 10719 0
vsize: 43128
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10683 0 0 0 17968 29 0 0 25 0 1 0 726099062 45228032 10205 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11042 10205 1111 63 0 10979 0
vsize: 44168
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10773 0 0 0 18967 30 0 0 25 0 1 0 726099062 45608960 10295 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11135 10295 1111 63 0 11072 0
vsize: 44540
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10834 0 0 0 19965 32 0 0 25 0 1 0 726099062 45727744 10356 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11164 10356 1111 63 0 11101 0
vsize: 44656
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10858 0 0 0 20965 33 0 0 25 0 1 0 726099062 45826048 10380 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11188 10380 1111 63 0 11125 0
vsize: 44752
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10958 0 0 0 21964 34 0 0 25 0 1 0 726099062 46129152 10454 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11262 10454 1111 63 0 11199 0
vsize: 45048
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 10981 0 0 0 22963 35 0 0 25 0 1 0 726099062 46223360 10477 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11285 10477 1111 63 0 11222 0
vsize: 45140
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 11002 0 0 0 23962 36 0 0 25 0 1 0 726099062 46309376 10498 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11306 10498 1111 63 0 11243 0
vsize: 45224
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 11083 0 0 0 24961 37 0 0 25 0 1 0 726099062 46641152 10579 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11387 10579 1111 63 0 11324 0
vsize: 45548
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 11104 0 0 0 25961 38 0 0 25 0 1 0 726099062 46727168 10600 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11408 10600 1111 63 0 11345 0
vsize: 45632
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15104 0 0 0 26953 46 0 0 25 0 1 0 726099062 62332928 13280 4294967295 134512640 134714508 3221221792 3221218756 1074846143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15218 13280 1111 63 0 15155 0
vsize: 60872
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15675 0 0 0 27952 46 0 0 25 0 1 0 726099062 60952576 13257 4294967295 134512640 134714508 3221221792 3221218784 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14881 13257 1111 63 0 14818 0
vsize: 59524
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15759 0 0 0 28952 47 0 0 25 0 1 0 726099062 61095936 13337 4294967295 134512640 134714508 3221221792 3221217856 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14916 13337 1111 63 0 14853 0
vsize: 59664
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15789 0 0 0 29952 47 0 0 25 0 1 0 726099062 61095936 13365 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14916 13365 1111 63 0 14853 0
vsize: 59664
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15825 0 0 0 30952 47 0 0 25 0 1 0 726099062 61095936 13397 4294967295 134512640 134714508 3221221792 3221218288 1076050077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14916 13397 1111 63 0 14853 0
vsize: 59664
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15842 0 0 0 31953 47 0 0 25 0 1 0 726099062 61095936 13412 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14916 13412 1111 63 0 14853 0
vsize: 59664
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15911 0 0 0 32953 47 0 0 25 0 1 0 726099062 61423616 13479 4294967295 134512640 134714508 3221221792 3221217672 1075964720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14996 13479 1111 63 0 14933 0
vsize: 59984
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15934 0 0 0 33953 47 0 0 25 0 1 0 726099062 61423616 13498 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14996 13498 1111 63 0 14933 0
vsize: 59984
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 15943 0 0 0 34953 47 0 0 25 0 1 0 726099062 61423616 13505 4294967295 134512640 134714508 3221221792 3221217984 1074961149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14996 13505 1111 63 0 14933 0
vsize: 59984
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16001 0 0 0 35953 47 0 0 25 0 1 0 726099062 61763584 13559 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15079 13559 1111 63 0 15016 0
vsize: 60316
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16081 0 0 0 36953 48 0 0 25 0 1 0 726099062 62124032 13635 4294967295 134512640 134714508 3221221792 3221217704 1075964778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15167 13635 1111 63 0 15104 0
vsize: 60668
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16166 0 0 0 37953 48 0 0 25 0 1 0 726099062 62500864 13718 4294967295 134512640 134714508 3221221792 3221217596 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15259 13718 1111 63 0 15196 0
vsize: 61036
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16237 0 0 0 38953 48 0 0 25 0 1 0 726099062 62894080 13785 4294967295 134512640 134714508 3221221792 3221217672 1075964730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13785 1111 63 0 15292 0
vsize: 61420
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16259 0 0 0 39953 49 0 0 25 0 1 0 726099062 62894080 13803 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13803 1111 63 0 15292 0
vsize: 61420
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16265 0 0 0 40953 49 0 0 25 0 1 0 726099062 62894080 13805 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13805 1111 63 0 15292 0
vsize: 61420
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16269 0 0 0 41953 49 0 0 25 0 1 0 726099062 62894080 13805 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13805 1111 63 0 15292 0
vsize: 61420
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16275 0 0 0 42953 49 0 0 25 0 1 0 726099062 62894080 13807 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13807 1111 63 0 15292 0
vsize: 61420
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16279 0 0 0 43954 49 0 0 25 0 1 0 726099062 62894080 13807 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13807 1111 63 0 15292 0
vsize: 61420
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16284 0 0 0 44954 49 0 0 25 0 1 0 726099062 62894080 13808 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13808 1111 63 0 15292 0
vsize: 61420
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16289 0 0 0 45954 49 0 0 25 0 1 0 726099062 62894080 13809 4294967295 134512640 134714508 3221221792 3221217620 1074786528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13809 1111 63 0 15292 0
vsize: 61420
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16297 0 0 0 46954 49 0 0 25 0 1 0 726099062 62894080 13811 4294967295 134512640 134714508 3221221792 3221217984 1074961143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 13811 1111 63 0 15292 0
vsize: 61420
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16375 0 0 0 47954 49 0 0 25 0 1 0 726099062 63475712 13887 4294967295 134512640 134714508 3221221792 3221218752 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15497 13887 1111 63 0 15434 0
vsize: 61988
[startup+490.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16377 0 0 0 48954 49 0 0 25 0 1 0 726099062 63307776 13885 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15456 13885 1111 63 0 15393 0
vsize: 61824
[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16387 0 0 0 49954 49 0 0 25 0 1 0 726099062 63307776 13891 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15456 13891 1111 63 0 15393 0
vsize: 61824
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16409 0 0 0 50954 49 0 0 25 0 1 0 726099062 63307776 13909 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15456 13909 1111 63 0 15393 0
vsize: 61824
[startup+520.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16475 0 0 0 51954 50 0 0 25 0 1 0 726099062 63746048 13971 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15563 13971 1111 63 0 15500 0
vsize: 62252
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16611 0 0 0 52954 50 0 0 25 0 1 0 726099062 64204800 14105 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15675 14105 1111 63 0 15612 0
vsize: 62700
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16625 0 0 0 53954 50 0 0 25 0 1 0 726099062 64204800 14115 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15675 14115 1111 63 0 15612 0
vsize: 62700
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16729 0 0 0 54954 50 0 0 25 0 1 0 726099062 64679936 14215 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14215 1111 63 0 15728 0
vsize: 63164
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16746 0 0 0 55954 50 0 0 25 0 1 0 726099062 64679936 14228 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14228 1111 63 0 15728 0
vsize: 63164
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16761 0 0 0 56954 50 0 0 25 0 1 0 726099062 64679936 14239 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14239 1111 63 0 15728 0
vsize: 63164
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16763 0 0 0 57954 50 0 0 25 0 1 0 726099062 64679936 14239 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14239 1111 63 0 15728 0
vsize: 63164
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16769 0 0 0 58954 51 0 0 25 0 1 0 726099062 64679936 14241 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14241 1111 63 0 15728 0
vsize: 63164
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16779 0 0 0 59955 51 0 0 25 0 1 0 726099062 64679936 14247 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14247 1111 63 0 15728 0
vsize: 63164
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16784 0 0 0 60955 51 0 0 25 0 1 0 726099062 64679936 14248 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14248 1111 63 0 15728 0
vsize: 63164
[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16788 0 0 0 61954 51 0 0 25 0 1 0 726099062 64679936 14250 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14250 1111 63 0 15728 0
vsize: 63164
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16799 0 0 0 62954 51 0 0 25 0 1 0 726099062 64679936 14257 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14257 1111 63 0 15728 0
vsize: 63164
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16803 0 0 0 63954 52 0 0 25 0 1 0 726099062 64679936 14257 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14257 1111 63 0 15728 0
vsize: 63164
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16805 0 0 0 64954 52 0 0 25 0 1 0 726099062 64679936 14257 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14257 1111 63 0 15728 0
vsize: 63164
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16810 0 0 0 65954 52 0 0 25 0 1 0 726099062 64679936 14258 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14258 1111 63 0 15728 0
vsize: 63164
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16814 0 0 0 66955 52 0 0 25 0 1 0 726099062 64679936 14258 4294967295 134512640 134714508 3221221792 3221217984 1074960765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14258 1111 63 0 15728 0
vsize: 63164
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16823 0 0 0 67955 52 0 0 25 0 1 0 726099062 64679936 14263 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14263 1111 63 0 15728 0
vsize: 63164
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16826 0 0 0 68955 52 0 0 25 0 1 0 726099062 64679936 14264 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14264 1111 63 0 15728 0
vsize: 63164
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16830 0 0 0 69955 52 0 0 25 0 1 0 726099062 64679936 14264 4294967295 134512640 134714508 3221221792 3221217872 1075094841 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14264 1111 63 0 15728 0
vsize: 63164
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 16839 0 0 0 70955 52 0 0 25 0 1 0 726099062 64679936 14269 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14269 1111 63 0 15728 0
vsize: 63164
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 23356 0 0 0 71939 68 0 0 25 0 1 0 726099062 51965952 11805 4294967295 134512640 134714508 3221221792 3221219708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12687 11805 1111 63 0 12624 0
vsize: 50748
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 24681 0 0 0 72933 74 0 0 25 0 1 0 726099062 51421184 11800 4294967295 134512640 134714508 3221221792 3221219864 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12554 11800 1111 63 0 12491 0
vsize: 50216
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 25964 0 0 0 73927 80 0 0 25 0 1 0 726099062 51421184 11803 4294967295 134512640 134714508 3221221792 3221220440 1077377218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12554 11803 1111 63 0 12491 0
vsize: 50216
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 42435 0 0 0 74882 125 0 0 25 0 1 0 726099062 45883392 10526 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10526 1111 63 0 11139 0
vsize: 44808
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 51716 0 0 0 75857 151 0 0 25 0 1 0 726099062 45899776 10530 4294967295 134512640 134714508 3221221792 3221219976 1077377266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11206 10530 1111 63 0 11143 0
vsize: 44824
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 73718 0 0 0 76799 208 0 0 25 0 1 0 726099062 60997632 10552 4294967295 134512640 134714508 3221221792 3221217848 1074789593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14892 10552 1111 63 0 14829 0
vsize: 59568
[startup+780.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 87549 0 0 0 77763 243 0 0 25 0 1 0 726099062 61186048 12102 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14938 12112 1111 63 0 14875 0
vsize: 59752
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 106250 0 0 0 78715 292 0 0 25 0 1 0 726099062 61411328 12502 4294967295 134512640 134714508 3221221792 3221217892 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14993 12502 1111 63 0 14930 0
vsize: 59972
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 124577 0 0 0 79669 338 0 0 25 0 1 0 726099062 45883392 10529 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10529 1111 63 0 11139 0
vsize: 44808
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 143043 0 0 0 80624 383 0 0 25 0 1 0 726099062 61014016 10556 4294967295 134512640 134714508 3221221792 3221218784 1075110521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14896 10556 1111 63 0 14833 0
vsize: 59584
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 154161 0 0 0 81593 414 0 0 25 0 1 0 726099062 45850624 10521 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11194 10521 1111 63 0 11131 0
vsize: 44776
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 161684 0 0 0 82572 435 0 0 25 0 1 0 726099062 45932544 10541 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10541 1111 63 0 11151 0
vsize: 44856
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 185367 0 0 0 83513 495 0 0 25 0 1 0 726099062 45899776 10533 4294967295 134512640 134714508 3221221792 3221220104 1074138306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10533 1111 63 0 11143 0
vsize: 44824
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 205551 0 0 0 84462 546 0 0 25 0 1 0 726099062 61014016 10561 4294967295 134512640 134714508 3221221792 3221218064 1074960710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14896 10561 1111 63 0 14833 0
vsize: 59584
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 223872 0 0 0 85417 591 0 0 25 0 1 0 726099062 45899776 10533 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10533 1111 63 0 11143 0
vsize: 44824
[startup+870.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 247398 0 0 0 86358 649 0 0 25 0 1 0 726099062 45916160 10537 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10537 1111 63 0 11147 0
vsize: 44840
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 267735 0 0 0 87308 699 0 0 25 0 1 0 726099062 45916160 10537 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10537 1111 63 0 11147 0
vsize: 44840
[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 291595 0 0 0 88248 759 0 0 25 0 1 0 726099062 45916160 10537 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10537 1111 63 0 11147 0
vsize: 44840
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 315103 0 0 0 89189 818 0 0 25 0 1 0 726099062 45899776 10533 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10533 1111 63 0 11143 0
vsize: 44824
[startup+910.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 335549 0 0 0 90138 870 0 0 25 0 1 0 726099062 45883392 10529 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10529 1111 63 0 11139 0
vsize: 44808
[startup+920.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 357749 0 0 0 91080 928 0 0 25 0 1 0 726099062 45867008 10525 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10525 1111 63 0 11135 0
vsize: 44792
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 381375 0 0 0 92021 987 0 0 25 0 1 0 726099062 45867008 10525 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10525 1111 63 0 11135 0
vsize: 44792
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 403203 0 0 0 92967 1041 0 0 25 0 1 0 726099062 45867008 10525 4294967295 134512640 134714508 3221221792 3221219756 1077377628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10525 1111 63 0 11135 0
vsize: 44792
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 428702 0 0 0 93903 1105 0 0 25 0 1 0 726099062 61538304 10680 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15024 10680 1111 63 0 14961 0
vsize: 60096
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 450717 0 0 0 94846 1162 0 0 25 0 1 0 726099062 45899776 10533 4294967295 134512640 134714508 3221221792 3221220064 1074056040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11201 10528 1111 63 0 11138 0
vsize: 44824
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 467285 0 0 0 95806 1203 0 0 25 0 1 0 726099062 45867008 10525 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10525 1111 63 0 11135 0
vsize: 44792
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 483900 0 0 0 96765 1244 0 0 25 0 1 0 726099062 45834240 10517 4294967295 134512640 134714508 3221221792 3221219516 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11190 10517 1111 63 0 11127 0
vsize: 44760
[startup+990.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 505769 0 0 0 97710 1299 0 0 25 0 1 0 726099062 61014016 10565 4294967295 134512640 134714508 3221221792 3221218128 1075113634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14896 10565 1111 63 0 14833 0
vsize: 59584
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 529563 0 0 0 98650 1359 0 0 25 0 1 0 726099062 45867008 10525 4294967295 134512640 134714508 3221221792 3221220060 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10525 1111 63 0 11135 0
vsize: 44792
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 549609 0 0 0 99601 1408 0 0 25 0 1 0 726099062 61542400 12522 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15025 12522 1111 63 0 14962 0
vsize: 60100
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 569682 0 0 0 100549 1460 0 0 25 0 1 0 726099062 45883392 10529 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10529 1111 63 0 11139 0
vsize: 44808
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 587946 0 0 0 101505 1504 0 0 25 0 1 0 726099062 61911040 12587 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15115 12587 1111 63 0 15052 0
vsize: 60460
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 612144 0 0 0 102445 1565 0 0 25 0 1 0 726099062 45899776 10533 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10533 1111 63 0 11143 0
vsize: 44824
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 625424 0 0 0 103412 1598 0 0 25 0 1 0 726099062 45883392 10529 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10529 1111 63 0 11139 0
vsize: 44808
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 643943 0 0 0 104363 1647 0 0 25 0 1 0 726099062 61415424 10622 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14994 10627 1111 63 0 14931 0
vsize: 59976
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 669429 0 0 0 105299 1711 0 0 25 0 1 0 726099062 61333504 10646 4294967295 134512640 134714508 3221221792 3221218128 1075113670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14974 10646 1111 63 0 14911 0
vsize: 59896
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 687659 0 0 0 106252 1758 0 0 25 0 1 0 726099062 45932544 10541 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10541 1111 63 0 11151 0
vsize: 44856
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 709241 0 0 0 107199 1812 0 0 25 0 1 0 726099062 45899776 10533 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10533 1111 63 0 11143 0
vsize: 44824
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 723978 0 0 0 108159 1852 0 0 25 0 1 0 726099062 46256128 10560 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 10560 1111 63 0 11230 0
vsize: 45172
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 742528 0 0 0 109113 1898 0 0 25 0 1 0 726099062 45916160 10537 4294967295 134512640 134714508 3221221792 3221220192 1074118867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10537 1111 63 0 11147 0
vsize: 44840
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 764322 0 0 0 110058 1953 0 0 25 0 1 0 726099062 45965312 10549 4294967295 134512640 134714508 3221221792 3221219760 1074247404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11222 10549 1111 63 0 11159 0
vsize: 44888
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 786722 0 0 0 111003 2008 0 0 25 0 1 0 726099062 45883392 10529 4294967295 134512640 134714508 3221221792 3221219816 1077380277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10529 1111 63 0 11139 0
vsize: 44808
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 807278 0 0 0 111951 2060 0 0 25 0 1 0 726099062 45883392 10529 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10529 1111 63 0 11139 0
vsize: 44808
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 829813 0 0 0 112895 2117 0 0 25 0 1 0 726099062 45850624 10521 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11194 10521 1111 63 0 11131 0
vsize: 44776
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 855801 0 0 0 113831 2181 0 0 25 0 1 0 726099062 45867008 10525 4294967295 134512640 134714508 3221221792 3221219536 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11198 10525 1111 63 0 11135 0
vsize: 44792
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 881972 0 0 0 114765 2247 0 0 25 0 1 0 726099062 45965312 10549 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11222 10549 1111 63 0 11159 0
vsize: 44888
[startup+1176.02 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 8769
Raw data (stat): 8769 (bsolo_lpr) R 8768 7876 7672 0 -1 0 881972 0 0 0 114765 2247 0 0 25 0 1 0 726099062 45965312 10549 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11222 10549 1111 63 0 11159 0
vsize: 0

Child status: 10
Real time (s): 1176.02
CPU time (s): 1176.11
CPU user time (s): 1153.27
CPU system time (s): 22.8335
CPU usage (%): 100.008
Max. virtual memory (Kb): 63164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####