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-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
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	27847
Number of constraints which are clauses	27847
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 24737

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 07:55:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2872 boxname=wulflinc31 idbench=320 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-2.opb
IDLAUNCH: 2872
/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:        893468 kB
Buffers:         30900 kB
Cached:          88612 kB
SwapCached:       1936 kB
Active:          80016 kB
Inactive:        42640 kB
HighTotal:      131008 kB
HighFree:        41580 kB
LowTotal:       903652 kB
LowFree:        851888 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             644 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12768 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 08:14:55 (client local time) WITH STATUS 10 IN 1178.6 SECONDS
stats: 2872 0 1178.6 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27847 constraints.
c After prepocess the problem consists of 595 variables and 19909 constraints.
c preprocess terminated 166.283 s
c Initial Lower Bound: -63
c Lower Bound Elapsed time: 520.888
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 687.543
c NEW SOLUTION FOUND: -5 @ 687.567
c NEW SOLUTION FOUND: -6 @ 687.588
c NEW SOLUTION FOUND: -7 @ 687.6
c NEW SOLUTION FOUND: -8 @ 687.612
c NEW SOLUTION FOUND: -9 @ 687.64
c NEW SOLUTION FOUND: -10 @ 687.71
c NEW SOLUTION FOUND: -11 @ 687.81
c NEW SOLUTION FOUND: -12 @ 687.853
c NEW SOLUTION FOUND: -13 @ 688.214
c NEW SOLUTION FOUND: -14 @ 688.595
c NEW SOLUTION FOUND: -15 @ 689.094
c NEW SOLUTION FOUND: -16 @ 689.31
c NEW SOLUTION FOUND: -17 @ 691.895
c NEW SOLUTION FOUND: -18 @ 712.315
c NEW SOLUTION FOUND: -19 @ 759.292
c NEW SOLUTION FOUND: -20 @ 886.62
c NEW SOLUTION FOUND: -21 @ 1134.96
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: 1178.55 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.91 0.95 0.98 2/55 7579
Raw data (stat): 7579 (runsolver) R 7578 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 724888774 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 967 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 1968 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220400 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 2968 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220260 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 3968 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 4968 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 5968 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 6968 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 7969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 8969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 9969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 10969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 11969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220456 134627136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 12969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 13969 29 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 10844 0 0 0 14969 30 0 0 25 0 1 0 724888774 43864064 9878 4294967295 134512640 134714508 3221221792 3221220440 134558617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9878 1111 63 0 10646 0
vsize: 42836
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11085 0 0 0 15969 30 0 0 25 0 1 0 724888774 44847104 10119 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10949 10119 1111 63 0 10886 0
vsize: 43796
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11485 0 0 0 16968 31 0 0 25 0 1 0 724888774 46735360 10519 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11410 10519 1111 63 0 11347 0
vsize: 45640
[startup+180.009 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11556 0 0 0 17966 33 0 0 25 0 1 0 724888774 46915584 10590 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11454 10590 1111 63 0 11391 0
vsize: 45816
[startup+190.009 s]
Raw data (loadavg): 1.06 0.99 0.99 3/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11673 0 0 0 18964 35 0 0 25 0 1 0 724888774 47497216 10707 4294967295 134512640 134714508 3221221792 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11596 10707 1111 63 0 11533 0
vsize: 46384
[startup+200.01 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11708 0 0 0 19963 36 0 0 25 0 1 0 724888774 47616000 10742 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11625 10742 1111 63 0 11562 0
vsize: 46500
[startup+210.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11780 0 0 0 20962 37 0 0 25 0 1 0 724888774 47878144 10814 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11689 10814 1111 63 0 11626 0
vsize: 46756
[startup+220.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11808 0 0 0 21962 38 0 0 25 0 1 0 724888774 47988736 10842 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11716 10842 1111 63 0 11653 0
vsize: 46864
[startup+230.012 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11832 0 0 0 22961 38 0 0 25 0 1 0 724888774 48082944 10866 4294967295 134512640 134714508 3221221792 3221220016 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11739 10866 1111 63 0 11676 0
vsize: 46956
[startup+240.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 11917 0 0 0 23960 39 0 0 25 0 1 0 724888774 48390144 10951 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11814 10951 1111 63 0 11751 0
vsize: 47256
[startup+250.016 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 15491 0 0 0 24953 47 0 0 25 0 1 0 724888774 63188992 13263 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15427 13263 1111 63 0 15364 0
vsize: 61708
[startup+260.016 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16239 0 0 0 25952 49 0 0 25 0 1 0 724888774 62001152 13466 4294967295 134512640 134714508 3221221792 3221217856 1074969467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15137 13466 1111 63 0 15074 0
vsize: 60548
[startup+270.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16281 0 0 0 26952 49 0 0 25 0 1 0 724888774 62001152 13506 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15137 13506 1111 63 0 15074 0
vsize: 60548
[startup+280.017 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16360 0 0 0 27952 49 0 0 25 0 1 0 724888774 62312448 13581 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15213 13581 1111 63 0 15150 0
vsize: 60852
[startup+290.018 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7579
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16391 0 0 0 28952 49 0 0 25 0 1 0 724888774 62312448 13608 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15213 13608 1111 63 0 15150 0
vsize: 60852
[startup+300.023 s]
Raw data (loadavg): 1.09 1.00 0.99 2/57 7620
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16455 0 0 0 29951 50 0 0 25 0 1 0 724888774 62640128 13670 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15293 13670 1111 63 0 15230 0
vsize: 61172
[startup+310.185 s]
Raw data (loadavg): 1.23 1.04 1.01 3/57 7626
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16484 0 0 0 30968 50 0 0 25 0 1 0 724888774 62640128 13697 4294967295 134512640 134714508 3221221792 3221217676 1074788187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15293 13697 1111 63 0 15230 0
vsize: 61172
[startup+320.186 s]
Raw data (loadavg): 1.26 1.05 1.01 2/55 7632
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16558 0 0 0 31968 50 0 0 25 0 1 0 724888774 62984192 13767 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15377 13767 1111 63 0 15314 0
vsize: 61508
[startup+330.498 s]
Raw data (loadavg): 1.22 1.05 1.01 2/55 7632
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16640 0 0 0 32999 50 0 0 25 0 1 0 724888774 63344640 13845 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15465 13845 1111 63 0 15402 0
vsize: 61860
[startup+340.498 s]
Raw data (loadavg): 1.19 1.05 1.01 2/55 7632
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16718 0 0 0 33999 51 0 0 25 0 1 0 724888774 63721472 13919 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15557 13919 1111 63 0 15494 0
vsize: 62228
[startup+350.498 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 7632
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16789 0 0 0 34999 51 0 0 25 0 1 0 724888774 64114688 13986 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 13986 1111 63 0 15590 0
vsize: 62612
[startup+360.714 s]
Raw data (loadavg): 1.13 1.04 1.01 2/55 7632
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16797 0 0 0 36021 51 0 0 25 0 1 0 724888774 64114688 13990 4294967295 134512640 134714508 3221221792 3221217596 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 13990 1111 63 0 15590 0
vsize: 62612
[startup+370.714 s]
Raw data (loadavg): 1.11 1.04 1.00 2/55 7632
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16805 0 0 0 37021 51 0 0 25 0 1 0 724888774 64114688 13994 4294967295 134512640 134714508 3221221792 3221217596 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 13994 1111 63 0 15590 0
vsize: 62612
[startup+380.715 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16814 0 0 0 38021 51 0 0 25 0 1 0 724888774 64114688 13999 4294967295 134512640 134714508 3221221792 3221217920 1074815241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 13999 1111 63 0 15590 0
vsize: 62612
[startup+390.715 s]
Raw data (loadavg): 1.08 1.04 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16821 0 0 0 39021 51 0 0 25 0 1 0 724888774 64114688 14002 4294967295 134512640 134714508 3221221792 3221217936 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 14002 1111 63 0 15590 0
vsize: 62612
[startup+400.716 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16827 0 0 0 40021 51 0 0 25 0 1 0 724888774 64274432 14004 4294967295 134512640 134714508 3221221792 3221218368 1075967910 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15692 14004 1111 63 0 15629 0
vsize: 62768
[startup+410.716 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16829 0 0 0 41021 51 0 0 25 0 1 0 724888774 64114688 14002 4294967295 134512640 134714508 3221221792 3221217704 1075964775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 14002 1111 63 0 15590 0
vsize: 62612
[startup+420.717 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16833 0 0 0 42021 51 0 0 25 0 1 0 724888774 64114688 14002 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 14002 1111 63 0 15590 0
vsize: 62612
[startup+430.718 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16838 0 0 0 43022 51 0 0 25 0 1 0 724888774 64114688 14003 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 14003 1111 63 0 15590 0
vsize: 62612
[startup+440.718 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16845 0 0 0 44022 51 0 0 25 0 1 0 724888774 64114688 14004 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15653 14004 1111 63 0 15590 0
vsize: 62612
[startup+450.718 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16923 0 0 0 45022 52 0 0 25 0 1 0 724888774 64536576 14078 4294967295 134512640 134714508 3221221792 3221217872 1075093353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15756 14078 1111 63 0 15693 0
vsize: 63024
[startup+460.719 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16927 0 0 0 46022 52 0 0 25 0 1 0 724888774 64536576 14078 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15756 14078 1111 63 0 15693 0
vsize: 63024
[startup+470.719 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 16933 0 0 0 47022 52 0 0 25 0 1 0 724888774 64536576 14080 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15756 14080 1111 63 0 15693 0
vsize: 63024
[startup+480.72 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17013 0 0 0 48022 52 0 0 25 0 1 0 724888774 64978944 14156 4294967295 134512640 134714508 3221221792 3221217872 1074794655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15864 14156 1111 63 0 15801 0
vsize: 63456
[startup+490.72 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17128 0 0 0 49022 53 0 0 25 0 1 0 724888774 65437696 14267 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14267 1111 63 0 15913 0
vsize: 63904
[startup+500.72 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17157 0 0 0 50022 53 0 0 25 0 1 0 724888774 65437696 14292 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14292 1111 63 0 15913 0
vsize: 63904
[startup+510.721 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17166 0 0 0 51022 53 0 0 25 0 1 0 724888774 65437696 14297 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14297 1111 63 0 15913 0
vsize: 63904
[startup+520.721 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17185 0 0 0 52022 53 0 0 25 0 1 0 724888774 65437696 14312 4294967295 134512640 134714508 3221221792 3221217940 1075115117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14312 1111 63 0 15913 0
vsize: 63904
[startup+530.722 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17199 0 0 0 53022 53 0 0 25 0 1 0 724888774 65437696 14322 4294967295 134512640 134714508 3221221792 3221217872 1075093371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14322 1111 63 0 15913 0
vsize: 63904
[startup+540.722 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17206 0 0 0 54022 53 0 0 25 0 1 0 724888774 65437696 14327 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14327 1111 63 0 15913 0
vsize: 63904
[startup+550.723 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17213 0 0 0 55022 53 0 0 25 0 1 0 724888774 65437696 14330 4294967295 134512640 134714508 3221221792 3221217588 1074786565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14330 1111 63 0 15913 0
vsize: 63904
[startup+560.723 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17217 0 0 0 56022 53 0 0 25 0 1 0 724888774 65437696 14330 4294967295 134512640 134714508 3221221792 3221217984 1074960789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14330 1111 63 0 15913 0
vsize: 63904
[startup+570.724 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17221 0 0 0 57023 53 0 0 25 0 1 0 724888774 65437696 14330 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14330 1111 63 0 15913 0
vsize: 63904
[startup+580.724 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17227 0 0 0 58023 53 0 0 25 0 1 0 724888774 65437696 14332 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14332 1111 63 0 15913 0
vsize: 63904
[startup+590.724 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17231 0 0 0 59023 53 0 0 25 0 1 0 724888774 65437696 14332 4294967295 134512640 134714508 3221221792 3221217984 1074960881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14332 1111 63 0 15913 0
vsize: 63904
[startup+600.725 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17234 0 0 0 60023 53 0 0 25 0 1 0 724888774 65437696 14333 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14333 1111 63 0 15913 0
vsize: 63904
[startup+610.725 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17242 0 0 0 61023 53 0 0 25 0 1 0 724888774 65437696 14337 4294967295 134512640 134714508 3221221792 3221217984 1074960759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14337 1111 63 0 15913 0
vsize: 63904
[startup+620.726 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17247 0 0 0 62023 53 0 0 25 0 1 0 724888774 65437696 14338 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14338 1111 63 0 15913 0
vsize: 63904
[startup+630.726 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17251 0 0 0 63024 53 0 0 25 0 1 0 724888774 65437696 14338 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14338 1111 63 0 15913 0
vsize: 63904
[startup+640.726 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17256 0 0 0 64024 54 0 0 25 0 1 0 724888774 65437696 14339 4294967295 134512640 134714508 3221221792 3221217872 1075095124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14339 1111 63 0 15913 0
vsize: 63904
[startup+650.727 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7634
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17260 0 0 0 65024 54 0 0 25 0 1 0 724888774 65437696 14339 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14339 1111 63 0 15913 0
vsize: 63904
[startup+660.727 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 17262 0 0 0 66024 54 0 0 25 0 1 0 724888774 65437696 14339 4294967295 134512640 134714508 3221221792 3221217984 1074960847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15976 14339 1111 63 0 15913 0
vsize: 63904
[startup+670.727 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 23836 0 0 0 67009 69 0 0 25 0 1 0 724888774 53190656 12088 4294967295 134512640 134714508 3221221792 3221219708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12986 12088 1111 63 0 12923 0
vsize: 51944
[startup+680.728 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 25845 0 0 0 68001 77 0 0 25 0 1 0 724888774 52645888 12081 4294967295 134512640 134714508 3221221792 3221220240 134647065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12853 12081 1111 63 0 12790 0
vsize: 51412
[startup+690.729 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 34778 0 0 0 68977 101 0 0 25 0 1 0 724888774 47656960 10917 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11635 10917 1111 63 0 11572 0
vsize: 46540
[startup+700.729 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 40289 0 0 0 69962 116 0 0 25 0 1 0 724888774 47644672 10914 4294967295 134512640 134714508 3221221792 3221219776 1074056189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10914 1111 63 0 11569 0
vsize: 46528
[startup+710.73 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 49321 0 0 0 70938 140 0 0 25 0 1 0 724888774 47656960 10917 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10917 1111 63 0 11572 0
vsize: 46540
[startup+720.731 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 57012 0 0 0 71915 163 0 0 25 0 1 0 724888774 47644672 10917 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10917 1111 63 0 11569 0
vsize: 46528
[startup+730.731 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 66139 0 0 0 72891 188 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220432 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+740.731 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 73091 0 0 0 73871 207 0 0 25 0 1 0 724888774 47644672 10917 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10917 1111 63 0 11569 0
vsize: 46528
[startup+750.732 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 77189 0 0 0 74859 219 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220192 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+760.732 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 91734 0 0 0 75822 257 0 0 25 0 1 0 724888774 62173184 10986 4294967295 134512640 134714508 3221221792 3221217952 1075093475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15179 10986 1111 63 0 15116 0
vsize: 60716
[startup+770.733 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 105328 0 0 0 76788 291 0 0 25 0 1 0 724888774 47681536 10926 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10926 1111 63 0 11578 0
vsize: 46564
[startup+780.733 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 118923 0 0 0 77753 326 0 0 25 0 1 0 724888774 62173184 10991 4294967295 134512640 134714508 3221221792 3221217936 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15179 10991 1111 63 0 15116 0
vsize: 60716
[startup+790.734 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 135649 0 0 0 78711 368 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+800.735 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 154304 0 0 0 79664 416 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220192 1074153165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+810.735 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 166524 0 0 0 80631 449 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220508 134543569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+820.736 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 181562 0 0 0 81593 487 0 0 25 0 1 0 724888774 47681536 10926 4294967295 134512640 134714508 3221221792 3221220328 1077377159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10926 1111 63 0 11578 0
vsize: 46564
[startup+830.737 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 194956 0 0 0 82561 520 0 0 25 0 1 0 724888774 62173184 11000 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15179 11000 1111 63 0 15116 0
vsize: 60716
[startup+840.736 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 222509 0 0 0 83490 591 0 0 25 0 1 0 724888774 47644672 10917 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10917 1111 63 0 11569 0
vsize: 46528
[startup+850.737 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 238396 0 0 0 84449 632 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221219440 1075818290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+860.737 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 253956 0 0 0 85408 673 0 0 25 0 1 0 724888774 47681536 10926 4294967295 134512640 134714508 3221221792 3221219368 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10926 1111 63 0 11578 0
vsize: 46564
[startup+870.738 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 276205 0 0 0 86352 729 0 0 25 0 1 0 724888774 47644672 10917 4294967295 134512640 134714508 3221221792 3221220076 1074208240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10917 1111 63 0 11569 0
vsize: 46528
[startup+880.739 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 288446 0 0 0 87321 761 0 0 25 0 1 0 724888774 62148608 10959 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15173 10959 1111 63 0 15110 0
vsize: 60692
[startup+890.74 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 298550 0 0 0 88292 789 0 0 25 0 1 0 724888774 62308352 12731 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15212 12731 1111 63 0 15149 0
vsize: 60848
[startup+900.74 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 319059 0 0 0 89238 843 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221220448 134649985 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+910.74 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 346345 0 0 0 90170 911 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+920.741 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 360096 0 0 0 91136 946 0 0 25 0 1 0 724888774 47644672 10917 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10917 1111 63 0 11569 0
vsize: 46528
[startup+930.74 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 375220 0 0 0 92098 983 0 0 25 0 1 0 724888774 47693824 10929 4294967295 134512640 134714508 3221221792 3221219072 1074139984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11644 10929 1111 63 0 11581 0
vsize: 46576
[startup+940.741 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 387270 0 0 0 93069 1013 0 0 25 0 1 0 724888774 47681536 10926 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10926 1111 63 0 11578 0
vsize: 46564
[startup+950.742 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 399443 0 0 0 94038 1043 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220360 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+960.742 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 413167 0 0 0 95004 1078 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+970.743 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 428620 0 0 0 95965 1117 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221219616 1075823354 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+980.744 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 442467 0 0 0 96929 1153 0 0 25 0 1 0 724888774 47644672 10917 4294967295 134512640 134714508 3221221792 3221220100 1077402445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11632 10917 1111 63 0 11569 0
vsize: 46528
[startup+990.744 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 449226 0 0 0 97911 1172 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220144 1073986759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+1000.74 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 464414 0 0 0 98872 1211 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+1010.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 474617 0 0 0 99846 1237 0 0 25 0 1 0 724888774 47632384 10914 4294967295 134512640 134714508 3221221792 3221220100 1074206252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11629 10914 1111 63 0 11566 0
vsize: 46516
[startup+1020.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 493193 0 0 0 100801 1282 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+1030.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 508385 0 0 0 101765 1319 0 0 25 0 1 0 724888774 62345216 12199 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15221 12208 1111 63 0 15158 0
vsize: 60884
[startup+1040.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 524217 0 0 0 102724 1359 0 0 25 0 1 0 724888774 47681536 10926 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10926 1111 63 0 11578 0
vsize: 46564
[startup+1050.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 541073 0 0 0 103682 1401 0 0 25 0 1 0 724888774 47693824 10929 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11644 10929 1111 63 0 11581 0
vsize: 46576
[startup+1060.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 559781 0 0 0 104636 1448 0 0 25 0 1 0 724888774 47693824 10929 4294967295 134512640 134714508 3221221792 3221219440 1075817680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11644 10929 1111 63 0 11581 0
vsize: 46576
[startup+1070.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 573534 0 0 0 105601 1483 0 0 25 0 1 0 724888774 47681536 10926 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10926 1111 63 0 11578 0
vsize: 46564
[startup+1080.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 592289 0 0 0 106555 1530 0 0 25 0 1 0 724888774 62337024 10957 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15219 10964 1111 63 0 15156 0
vsize: 60876
[startup+1090.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 614281 0 0 0 107499 1585 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220044 1077404823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+1100.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 632935 0 0 0 108453 1632 0 0 25 0 1 0 724888774 47669248 10923 4294967295 134512640 134714508 3221221792 3221218896 1074138554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11638 10923 1111 63 0 11575 0
vsize: 46552
[startup+1110.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 650445 0 0 0 109407 1678 0 0 25 0 1 0 724888774 47632384 10914 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11629 10914 1111 63 0 11566 0
vsize: 46516
[startup+1120.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 665781 0 0 0 110369 1716 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220416 134543707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+1130.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 677566 0 0 0 111340 1746 0 0 25 0 1 0 724888774 47656960 10920 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11635 10920 1111 63 0 11572 0
vsize: 46540
[startup+1140.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 692704 0 0 0 112301 1784 0 0 25 0 1 0 724888774 62746624 11136 4294967295 134512640 134714508 3221221792 3221218124 1076111500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15319 11136 1111 63 0 15256 0
vsize: 61276
[startup+1150.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 704503 0 0 0 113270 1815 0 0 25 0 1 0 724888774 47693824 10929 4294967295 134512640 134714508 3221221792 3221220080 1073986701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11644 10929 1111 63 0 11581 0
vsize: 46576
[startup+1160.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 722978 0 0 0 114223 1861 0 0 25 0 1 0 724888774 47718400 10935 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11650 10935 1111 63 0 11587 0
vsize: 46600
[startup+1170.75 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 739223 0 0 0 115182 1903 0 0 25 0 1 0 724888774 62750720 12057 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15320 12067 1111 63 0 15257 0
vsize: 61280
[startup+1178.5 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7636
Raw data (stat): 7579 (bsolo_lpr) R 7578 7876 7672 0 -1 0 739223 0 0 0 115182 1903 0 0 25 0 1 0 724888774 62750720 12057 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15320 12067 1111 63 0 15257 0
vsize: 0

Child status: 10
Real time (s): 1178.5
CPU time (s): 1178.6
CPU user time (s): 1159.15
CPU system time (s): 19.447
CPU usage (%): 100.009
Max. virtual memory (Kb): 63904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-21
#### END VERIFIER DATA ####